161. Formal methods for industrial applications :specifying and programming the steam boiler control
پدیدآورنده : Jean- Raymond Abrial, Egon Borger, Hans Langmaack, eds
کتابخانه: (سمنان)
موضوع : Automatic control Data processing ، Steam-boilers
رده :
TJ
288
.
F67
162. Formalized probability theory and applications using theorem proving /
پدیدآورنده : by Osman Hasan and Sofiène Tahar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving.,Computer systems-- Evaluation.,Stochastic analysis-- Data processing.
رده :
QA76
.
9
.
E95
H37
2015
163. Fourth international conference on trends in on-line computer
پدیدآورنده :
کتابخانه: (طهران)
موضوع : AUTOMATIC CONTROL-DATA PROCESSING- , ON-LINE DATA PROCESSING-CONGRESSES
رده :
TJ
212
.
2
.
I57
1982
164. Handbook of biomedical image analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه علوم پزشكي اصفهان (أصبهان)
موضوع : Automatic Data Processing
165. Health care computer systems for the 1990s
پدیدآورنده : / Bernie Minard
کتابخانه: كتابخانه مركزي دانشگاه علوم پزشكي اصفهان (أصبهان)
موضوع : Automatic Data Processing,Dental Facilities,Clinical Laboratory Information Systems [1]
رده :
WX26
.
5
،
M663h
1991
166. IEEE/IFAC Joint Symposium on Computer-Aided Control System Design : proceedings, March 7-9, 1994, Tucson, Arizona
پدیدآورنده : editors, Sven Erik Mattsson, John O. Gray, Francois E. Cellier ; sponsored by the IEEE Control System Society ; organized by the IEEE Control System Society, Technical Committee on Computer-Aided Control System Design and the International Federation of Automatic Control, Education Technical Committee )IFAC/EDCOM( )and( Systems Engineering Technical Committee )IFAC/SECOM(
کتابخانه: (طهران)
موضوع : Automatic control - Data processing - Congresses , Computer-aided design - Congresses
رده :
TJ
212
.
2
.
I3248
1994
167. IFAC/IFIP symposium on software for computer computer control 1986: selected papers from the fourth IFAC/IFIP symposium Graz, Austria, 20- 23 May 1986
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Automatic control- Data processing- Congresses
168. Informatics and nursing
پدیدآورنده : / Jeanne Sewell., Linda Q. Thede
کتابخانه: كتابخانه مركزي دانشگاه علوم پزشكي اصفهان (أصبهان)
موضوع : Informatics,Automatic Data Processing,Computer Communication Networks
169. Information processing by biochemical systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Biocomputers. ; Neural networks (Computer science) ; Information technology. ; Automatic Data Processing. ; Biochemical Phenomena. ; Neural Networks (Computer) ;
170. Information processing by biochemical systems
پدیدآورنده : / Orna Filo, Noah Lotan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Biocomputers,Neural networks (Computer science),Information technology,Automatic Data Processing,Biochemical Phenomena,Neural Networks (Computer)
رده :
QA76
.
884
.
F55
2010
171. Information processing of medical records; proceedings. Lyon, 6-10 April, 1970
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Medicine-- Data processing-- Congresses,، Medical records-- Congresses,، Automatic data processing-- Congresses,، Medical records-- Congresses
رده :
RA
976
.
I24
1970
172. Innovative techniques and applications of modelling, identification and control :
پدیدآورنده : Quanmin Zhu, Jing Na, Xing Wu, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic control, Congresses.,Identification-- Data processing, Congresses.,Simulation methods, Congresses.,Automatic control.,SCIENCE-- System Theory.,Simulation methods.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
T57
.
62
173. Intelligent chinese language pattern and speech processing
پدیدآورنده : editor P.S.- P.Wang
کتابخانه: (طهران)
موضوع : Data processing ، Chinese language,، Automatic speech recognition
رده :
PL
1074
.
5
.
I56
174. Kinematic Control of Redundant Robot Arms Using Neural Networks :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Manipulators (Mechanism)-- Automatic control.,Redundancy (Engineering)-- Data processing.,Robots-- Kinematics-- Data processing.
رده :
TJ211
.
412
.
L574
2019
175. Kinematic control of redundant robot arms using neural networks
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Robots ; Kinematics ; Data processing. ; Manipulators (Mechanism) ; Automatic control. ; Redundancy (Engineering) ; Data processing. ; Neural networks (Computer science) ;
176. LOGO! :
پدیدآورنده : by Uwe Graune, Mike Thielert, and Ludwig Wenzl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic control-- Data processing, Handbooks, manuals, etc.,LOGO (Computer program language)-- Study and teaching, Handbooks, manuals, etc.,Relay control systems-- Programming, Handbooks, manuals, etc.,Automatic control-- Data processing.,Berufsschule.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Elektroberuf,LOGO (Computer program language)-- Study and teaching.,Siemens LOGO!
رده :
QA76
.
73
.
L63
G7313
2009eb
177. Laboratory automation using the IBM PC
پدیدآورنده : Gates, Stephen C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Automatic control,، Computer interfaces,، IBM Personal computer,Automation - Data processing ، Laboratories
رده :
TJ
223
.
M53
G38
1989
178. Laboratory automation using the IBM PC
پدیدآورنده : Gates, Stephen C.
کتابخانه: (طهران)
موضوع : Data processing ، Automatic control,، Computer interfaces,، IBM Personal Computer,Automation -- Data processing ، Laboratories
رده :
TJ
223
.
M23G284
179. Latent semantic mapping :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Latent semantic indexing ; Semantics ; Data processing ; Semantics ; Mathematical models ; Computational linguistics ; Automatic speech recognition ;
180. Latent semantic mapping :
پدیدآورنده : Jerome R. Bellegarda.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic speech recognition.,Computational linguistics.,Latent semantic indexing.,Semantics-- Data processing.,Semantics-- Mathematical models.,Automatic speech recognition.,Computational linguistics.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Psycholinguistics.,Latent semantic indexing.,Semantics-- Data processing.,Semantics-- Mathematical models.
رده :
P325
.
5
.
D38
B45
2007